Petit Poucet.md

Allows users to create their own complex functions by composing built-in primitives. The tool can then automatically produce an explanation for any result computed by these functions on a given input.

Name:

Petit Poucet

Application domain/field:

Explainability

Type of tool (e.g. model checker, test generator):

Library

Expected input thing:

User creates a function by composing elementary functions.

Expected input format:

?

Expected output:

Explanation graph of the user-defined function.

Internals (tools used, frameworks, techniques, paradigms, ...):

Comments:

URIs (github, websites, etc.):

Repository: https://github.com/liflab/petitpoucet

Last commit date:

18 Nov 2022 (default branch) 18 Nov 2022 (last activity)

Last publication date:

15 July 2021

List of related papers:

https://doi.org/10.1007/978-3-030-81688-9_24 (CAV '21)

Related tools (tools mentioned or compared to in the paper):

Meta

:: Library :: PV1 :: operates with functions and their combinations formally and explainably :: Source :: https://doi.org/10.1007/978-3-030-81688-9 :: https://doi.org/10.1145/3550355.3552426